module M

val v: p: (int * int)
val f1: p1: (int * int) -> unit
val f2: p1: _ -> p2: (int * int) -> p3: _ -> unit
